Three Days of Ω-logic(<Special Section>Mathematical Logic and Its Applications)
نویسندگان
چکیده
منابع مشابه
Three Days of Ω-logic
The Zermelo-Fraenkel axioms for set theory with the Axiom of Choice (ZFC) form the most commonly accepted foundations for mathematical practice, yet it is well-known that many mathematical statements are neither proved nor refuted from these axioms. One example is given by Gödel’s Second Incompleteness Theorem, which says that no consistent recursive axiom system which is strong enough to descr...
متن کاملThree-center Harary index and its applications
The Harary index H can be viewed as a molecular structure descriptor composed of increments representing interactions between pairs of atoms, such that their magnitude decreases with the increasing distance between the respective two atoms. A generalization of the Harary index, denoted by Hk, is achieved by employing the Steiner-type distance between k-tuples of atoms. We show that the linear c...
متن کاملthe study of practical and theoretical foundation of credit risk and its coverage
پس از بررسی هر کدام از فاکتورهای نوع صنعت, نوع ضمانت نامه, نرخ بهره , نرخ تورم, ریسک اعتباری کشورها, کارمزد, ریکاوری, gdp, پوشش و وثیقه بر ریسک اعتباری صندوق ضمانت صادرات ایران مشخص گردید که همه فاکتورها به استثنای ریسک اعتباری کشورها و کارمزد بقیه فاکتورها رابطه معناداری با ریسک اعتباری دارند در ضمن نرخ بهره , نرخ تورم, ریکاوری, و نوع صنعت و ریسک کشورها اثر عکس روی ریسک اعتباری داردو پوشش, وثی...
15 صفحه اولGame logic and its applications
This paper provides a logic framework for investigations of game theoretical problems. We adopt an infinitary extension of classical predicate logic as the base logic of the framework. The reason for an infinitary extension is to express the common knowledge concept explicitly. Depending upon the choice of axioms on the knowledge operators, there is a hierarchy of logics. The limit case is an i...
متن کاملthree-center harary index and its applications
the harary index h can be viewed as a molecular structure descriptor composed of increments representing interactions between pairs of atoms, such that their magnitude decreases with the increasing distance between the respective two atoms. a generalization of the harary index, denoted by hk, is achieved by employing the steiner-type distance between k-tuples of atoms. we show that the linear c...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of the Japan Association for Philosophy of Science
سال: 2011
ISSN: 0453-0691,1884-1228
DOI: 10.4288/jafpos.19.0_57